1361. Topics in finite and discrete mathematics /
پدیدآورنده: Sheldon M. Ross.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Mathematics.,Mathématiques.,Combinatieleer.,Diskrete Mathematik,Eindige wiskunde.,Grafentheorie.,Kombinatorik,Matemática.,MATHEMATICS-- Essays.,MATHEMATICS-- Pre-Calculus.,MATHEMATICS-- Reference.,Mathematics.,Mathematics.,Mathematische programmering.
رده :
QA39
.
2
.
R65485
2000eb
1362. Topics in theoretical computer science :
پدیدآورنده: Luís S. Barbosa, Mohammad Ali Abam (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science, Congresses.,Algorithms & data structures.,Computer science.,Computer science.,Computers-- Data Processing.,Computers-- Machine Theory.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
QA75
.
5
1363. Toward Efficient Mixed-signal Neural Processors Using Non-volatile Memory Devices
پدیدآورنده: Bavandpour, Mohammad
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering,Computer science,Electrical engineering
1364. Toward Efficient Mixed-signal Neural Processors Using Non-volatile Memory Devices
پدیدآورنده: Bavandpour, Mohammad
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering,Computer science,Electrical engineering
1365. Towards evolvable hardware : the evolutionary engineering approach
پدیدآورنده: Eduardo Sanchez, Marco Tomassini )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Computers -- Circuits,، Programmable logic devices,، Genetic algorithms,Computer simulation ، Biological systems,، Evolutionary programming )Computer science(
رده :
QA
76
.
L28
Vol
.
1062
1366. Trees in Algebra and Programming - CAAP '96 :
پدیدآورنده: edited by Hélène Kirchner.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer programming.,Computer science.,Programming languages (Electronic computers)
رده :
QA166
.
2
E358
1996
1367. Trends, Techniques, and Problems in Theoretical Computer Science :
پدیدآورنده: edited by Alica Kelemenová, Jozef Kelemen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Statistics.
1368. Understanding and interpreting machine learning in medical image computing applications :
پدیدآورنده: Danail Stoyanov, Zeike Taylor, Seyed Mostafa Kia, Ipek Oguz, Mauricio Reyes et al. (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Image Interpretation, Computer-Assisted.,Artificial intelligence.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Computer Science.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Life sciences: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Medical-- General.
رده :
RC78
.
7
.
D53
I58
2018
1369. Understanding planning tasks
پدیدآورنده: / Malte Helmert
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Artificial intelligence.,Planning--Mathematical models,Problem solving--Mathematical models,Computer algorithms.,Heuristic programming.
رده :
Q
,
335
,.
H444
,
2008
1370. Understanding planning tasks
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Artificial intelligence. ; Planning ; Mathematical models. ; Problem solving ; Mathematical models. ; Computer algorithms. ; Heuristic programming. ;
1371. Underwater Acoustics and Signal Processing
پدیدآورنده: edited by Leif Bjørnø.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Geography.,Oceanography.
1372. Undocumented secrets of MATLAB-Java programming /
پدیدآورنده: Yair Altman.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: MATLAB.,MATLAB.,Java (Computer program language),Numerical analysis-- Data processing.,Numerical Analysis, Computer-Assisted.,Programming Languages.,COMPUTERS-- Computer Engineering.,COMPUTERS-- Programming-- Algorithms.,Java (Computer program language),MATHEMATICS-- Number Systems.,MATHEMATICS-- Numerical Analysis.,Numerical analysis-- Data processing.
رده :
QA297
.
A544
2012
1373. User s guide for LINDO and LINGO, Windows Versions
پدیدآورنده: Roe, Andrew
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Linear programming - Software , Programming )Mathematics(
رده :
T
57
.
74
.
R63
1997
1374. Using OpenMP - the next step :
پدیدآورنده: Ruud van der Pas, Eric Stotzer, and Christian Terboven.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: OpenMP (Application program interface),OpenMP (Application program interface),Application program interfaces (Computer software),Parallel programming (Computer science),Application program interfaces (Computer software),Parallel programming (Computer science)
رده :
QA76
.
642
.
P427
2017
1375. Using Toolpack Software Tools :
پدیدآورنده: edited by A.A. Pollicini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer science.,Programming languages (Electronic computers),Software engineering.
رده :
QA76
.
95
E358
1989
1376. VLSI:
پدیدآورنده: edited by Luis Miguel Silveira, Srinivas Devadas, Ricardo Reis.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer engineering.,Computer-aided design.,Engineering.
رده :
TK7874
.
E358
2000
1377. Variable neighborhood search :
پدیدآورنده: Angelo Sifaleras, Said Salhi, Jack Brimberg (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Traveling salesman problem, Congresses.,Traveling salesman problem.
رده :
QA402
.
5
1378. Variants of evolutionary algorithms for real-world applications
پدیدآورنده: Raymond Chiong, Thomas Weise, and Zbigniew Michalewicz (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Evolutionary computation,Evolutionary programming (Computer science),Genetic algorithms
رده :
QA402
.
5
.
V37
2012eb
1379. Vector game math processors
پدیدآورنده: / James Leiterman
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع: Vector processing (Computer science),Computer games- Programming,Supercomputers- Programming,Computer science- Mathematics,Algorithms
رده :
QA76
.
5
.
L446
2003
1380. Vector game math processors
پدیدآورنده: James Leiterman
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Algorithms,Computer games-- Programming,Computer science-- Mathematics,Supercomputers-- Programming,Vector processing (Computer science)
رده :
QA76
.
5
.
L446
2003eb
